Browse Program Verification 

Type
Name
View: Single / Double 
 Uploaded   Size SE LE ULed by
Other > E-books The Clean Coder {BBS} 10-21 2011 Magnet linkThis torrent has 2 comments. 6.06 MiB 0 1 bigbluesea
Other > E-books Rigorous Software Development - An Intro to Program Verification 09-11 2011 Magnet link 2.27 MiB 0 1 bigbluesea